Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Калгин К. В. , Ткачев А. В. «DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ» // Прикладная дискретная математика. Приложение 2021. №14 C.187-190